semi-infinite space

半无限空间